Câu ví dụ
- Mệnh đề đảo của định lý Wilson cũng đúng.
- Al-Haytham cũng là người đầu tiên phát biểu định lý Wilson (nói rằng p là số nguyên tố thì 1 + (p − 1)! chia hết cho p).
- Định lý có tên là định lý Wilson vì căn cứ theo một lời chú thích của Edward Waring vào năm 1770 rằng John Wilson là người đầu tiên chú ý đến kết quả này.
